On the Intersection of Tolerance and Cocomparability Graphs

Tolerance graphs have been extensively studied since their introduction, due to their interesting structure and their numerous applications, as they generalize both interval and permutation graphs in a natural way. It has been conjectured by Golumbic, Monma, and Trotter in 1984 that the intersection of tolerance and cocomparability graphs coincides with bounded tolerance graphs. Since cocomparability graphs can be efficiently recognized, a positive answer to this conjecture in the general case would enable us to efficiently distinguish between tolerance and bounded tolerance graphs, although it is NP-complete to recognize each of these classes of graphs separately. This longstanding conjecture has been proved under some – rather strong – structural assumptions on the input graph; in particular, it has been proved for complements of trees, and later extended to complements of bipartite graphs, and these are the only known results so far. Furthermore, it is known that the intersection of tolerance and cocomparability graphs is contained in the class of trapezoid graphs. Our main result in this article is that the above conjecture is true for every graph G that admits a tolerance representation with exactly one unbounded vertex; note that this assumption concerns only the given tolerance representation R of G, rather than any structural property of G. Moreover, our results imply as a corollary that the conjecture of Golumbic, Monma, and Trotter is true for every graph G = (V,E) that has no three independent vertices a, b, c ∈ V such that N(a) ⊂ N(b) ⊂ N(c), where N(v) denotes the set of neighbors of a vertex v ∈ V ; this is satisfied in particular when G is the complement of a triangle-free graph (which also implies the above-mentioned correctness for complements of bipartite graphs). Our proofs are constructive, in the sense that, given a tolerance representation R of a graph G, we transform R into a bounded tolerance representation R∗ of G. Furthermore, we conjecture that any minimal tolerance graph G that is not a bounded tolerance graph, has a tolerance representation with exactly one unbounded vertex. Our results imply the non-trivial result that, in order to prove the conjecture of Golumbic, Monma, and Trotter, it suffices to prove our conjecture.